Against Opacity
نویسندگان
چکیده
منابع مشابه
Functional Characterization of Antibodies against Neisseria gonorrhoeae Opacity Protein Loops
BACKGROUND The development of a gonorrhea vaccine is challenged by the lack of correlates of protection. The antigenically variable neisserial opacity (Opa) proteins are expressed during infection and have a semivariable (SV) and highly conserved (4L) loop that could be targeted in a vaccine. Here we compared antibodies to linear (Ab(linear)) and cyclic (Ab(cyclic)) peptides that correspond to ...
متن کاملThe Certification of E-Voting Mechanisms. Fighting against Opacity
Many countries are using certification procedures to guarantee the full compliance of e-voting mechanisms with democratic standards, but the data generated by these analysis is normally handled almost secretly. Given that transparency is a key principle to guarantee citizen's confidence in the electoral process, this opacity would only be acceptable after a correct balance of the concurrent int...
متن کاملOpacity Testing
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties. The properties are studied and compared with other sec...
متن کاملDecomposing Opacity
Transactional memory (TM) algorithms are subtle and the TM correctness conditions are intricate. Decomposition of the correctness condition can bring modularity to TM algorithm design and verification. We present a decomposition of opacity called markability as a conjunction of separate intuitive invariants. We prove the equivalence of opacity and markability. The proofs of markability of TM al...
متن کاملRational Opacity
A key motivation for transparency regulations and disclosure rules is the view that corporations are more opaque than they could be. Traditional arguments attribute this tendency to agency problems between managers on one side and stakeholders and/or outsiders on the other. We propose a completely di erent argument for why corporations limit the ow of information. When secondary markets are sha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research on Language and Computation
سال: 2007
ISSN: 1570-7075,1572-8706
DOI: 10.1007/s11168-007-9039-x